∀A,B∈2^X((A∩B)^∘=A^∘∩B^∘)